$integral dY$ $partialdiff sub Y$ max $integral dX$ $partialdiff sub X$ $partialdiff sub Y$ [ WORLDBATH bath ]